<?php
session_start();
$_SESSION['user'] = NULL;
$_SESSION['user_fullname'] = NULL;
$_SESSION['user_tipo'] = NULL;
$_SESSION['PrevUrl'] = NULL;


unset($_SESSION['user']);
unset($_SESSION['user_fullname']);
unset($_SESSION['user_tipo']);
unset($_SESSION['PrevUrl']);



session_destroy();
$logoutGoTo = "index.php";
if ($logoutGoTo) {
	header("Location: $logoutGoTo");
	exit;
}
//
?>